|
Automatic Differentiation in Prolog
Schrijvers, T.; Van Den Berg, B.; Riguzzi, F.
dettagli >>
|
Cambridge University Press,
2023 International Conference on Logic Programming
Vol. 23, No. 4, pp: 900-917, Anno: 2023 |
|
|
|
|
Exploiting Parameters Learning for Hyper-parameters Optimization in Deep Neural Networks
Fraccaroli, M.; Lamma, E.; Riguzzi, F.
dettagli >>
|
Open Publishing Association,
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Vol. 364, No. 4 August 2022, pp: 143-146, Anno: 2022 |
|
|
|
|
Optimizing Probabilities in Probabilistic Logic Programs
Azzolini, D.; Riguzzi, F.
dettagli >>
|
Cambridge University Press,
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 21, No. 5, pp: 543-556, Anno: 2021 |
|
|
|
|
Learning the Parameters of Probabilistic Answer Set Programs
Azzolini, D.; Bellodi, E.; Riguzzi, F.
dettagli >>
|
Springer Science and Business Media Deutschland GmbH,
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol. 13779, No. 1, pp: 1-14, Anno: 2024 |
|
|
|
|
Regularization in Probabilistic Inductive Logic Programming
Gentili, E.; Bizzarri, A.; Azzolini, D.; Zese, R.; Riguzzi, F.
dettagli >>
|
Springer Science and Business Media Deutschland GmbH,
Inductive Logic Programming : 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings
Vol. 14363 LNAI, No. 1, pp: 16-29, Anno: 2023 |
|
|
|
|
Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities
Azzolini, Damiano; Bellodi, Elena; Riguzzi, Fabrizio
dettagli >>
|
Springer International Publishing,
International Conference of the Italian Association for Artificial Intelligence : AIxIA 2022 – Advances in Artificial Intelligence
Vol. 13796, No. 1, pp: 33-46, Anno: 2023 |
|
|
|
|
Summary of Statistical Statements in Probabilistic Logic Programming
Azzolini, D.; Bellodi, E.; Riguzzi, F.
dettagli >>
|
Open Publishing Association,
Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 385, No. 1, pp: 384-385, Anno: 2023 |
|
|
|
|
MAP Inference in Probabilistic Answer Set Programs
Azzolini, Damiano; Bellodi, Elena; Riguzzi, Fabrizio
dettagli >>
|
Springer International Publishing,
International Conference of the Italian Association for Artificial Intelligence : AIxIA 2022 – Advances in Artificial Intelligence
Vol. 13796, No. 1, pp: 413-426, Anno: 2023 |
|
|
|
|
Towards a Representation of Decision Theory Problems with Probabilistic Answer Set Programs
Azzolini, D.; Bellodi, E.; Riguzzi, F.
dettagli >>
|
Open Publishing Association,
Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 385, No. 1, pp: 190-191, Anno: 2023 |
|
|
|
|
Inference in Probabilistic Answer Set Programming Under the Credal Semantics
Azzolini, Damiano; Riguzzi, Fabrizio
dettagli >>
|
Springer Science and Business Media Deutschland GmbH,
AIxIA 2023 -- Advances in Artificial Intelligence
Vol. 14318, No. 1, pp: 367-380, Anno: 2023 |
|
|
|
|
Link Prediction in Knowledge Graphs with Probabilistic Logic Programming: Work in Progress
Azzolini, D.; Gentili, E.; Riguzzi, F.
dettagli >>
|
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3437, No. 1, pp: 1-4, Anno: 2023 |
|
|
|
|
Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary
Azzolini, D.; Riguzzi, F.; Lamma, E.
dettagli >>
|
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3193, No. 1, pp: 1-5, Anno: 2022 |
|
|
|
|
Abduction in (Probabilistic) Answer Set Programming
Azzolini, D.; Bellodi, E.; Riguzzi, F.
dettagli >>
|
CEUR-WS,
Proceedings of the 37th Italian Conference on Computational Logic
Vol. 3204, No. 1, pp: 90-103, Anno: 2022 |
|
|
|
|
Statistical Statements in Probabilistic Logic Programming
Azzolini, D.; Bellodi, E.; Riguzzi, F.
dettagli >>
|
SPRINGER INTERNATIONAL PUBLISHING AG,
Logic Programming and Nonmonotonic Reasoning
Vol. 13416, No. 1, pp: 43-55, Anno: 2022 |
|
|
|
|
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Alberti, Marco; Zese, Riccardo; Riguzzi, Fabrizio; Lamma, Evelina
dettagli >>
|
Open Publishing Association,
38th International Conference on Logic Programming, ICLP 2022
Vol. 364, No. 1, pp: 65-78, Anno: 2022 |
|
|
|
|
A probabilistic logic model of Lightning Network
Azzolini, Damiano; Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina
dettagli >>
|
Springer Science and Business Media Deutschland GmbH,
Business Information Systems Workshops, Revised Selected Papers
Vol. 444, No. 1, pp: 321-333, Anno: 2022 |
|
|
|
|
Prediction of Gas Turbine Trip: a Novel Methodology based on Random Forest Models
Losi, E.; Venturini, M.; Manservigi, L.; Ceschini, G. F.; Bechini, G.; Cota, G.; Riguzzi, F.
dettagli >>
|
American Society of Mechanical Engineers (ASME),
Proceedings of ASME Turbo Expo 2021: Turbomachinery Technical Conference and Exposition
Vol. 8, No. 1, pp: GT2021-58916-1-GT2021-58916-14, Anno: 2021 |
|
|
|
|
Syntactic requirements for well-defined hybrid probabilistic logic programs
Azzolini, D.; Riguzzi, F.
dettagli >>
|
Open Publishing Association,
Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 345, No. 1, pp: 14-26, Anno: 2021 |
|
|
|
|
Summary of semantics for hybrid probabilistic logic programs with function symbols
Azzolini, D.; Riguzzi, F.; Lamma, E.
dettagli >>
|
Open Publishing Association,
Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 345, No. 1, pp: 234-235, Anno: 2021 |
|
|
|
|
Abduction in Probabilistic Logic Programs
Azzolini, D.; Bellodi, E.; Ferilli, S.; Riguzzi, F.; Zese, R.
dettagli >>
|
Open Publishing Association,
Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 364, No. 1, pp: 175-177, Anno: 2022 |
|
|
|